system of linear inequalities